- 双语例句 更多例句
1、
实验结果表明，经过算法处理的数据可以快速诊断出局部遮阴的光伏电池位置，证明了本文的故障检测算法的正确性。
互联网摘选
2、
本文把Brookes验证平行程序的思想应用于Hoare的通信顺序进程（CSP），提出了一组证明规则，以验证CSP程序的部分正确性。
互联网摘选
3、
Burstall/Darlington提出的展开/叠卷方法是程序转换中简单而有效的一种方法，但该方法仅保持函数的部分正确性，而可能失去某些值上的终止性。
互联网摘选
4、
形式化证明把程序完全正确性问题归结为部分正确性和终止性的证明。
互联网摘选
5、
而且，相比已有的出具证明编译器，该编译器可以处理更加复杂的程序性质，例如值相关的部分正确性。
互联网摘选
- 相关词组
- partial cultivation局部垦植;
- political correctnessn.政治正确性;
- Partial Mission Capable可执行部分任务
- partial journey部分行程;
- partial exactness部分正确
- partial bulkhead局部舱壁;
- partial antigen不完全抗原;
- partial conjugation局部接合;
- partial confounding部分混区;
- partial ordering部分顺序;
- partial birth不全产;
- partial agglutinin[医] 副凝集素;
- program correctness程序正确性;
- partial albinism局部白化病，白痣;
- partial correlation偏[净，部分]相关;
- partial amnesia部分性遗忘;
- correctness factor校正系数;
- partial remission部分缓解;
- 今日热词
- 热门搜索
- neither det./pron. 两者都不adv.(否定的陈述同样适用于其他人或物)也不;(否定的陈述适用于两方面)既不…也不…
- Mr Jones 琼斯;琼斯先生;琼斯老师
- European adj.欧洲的，欧洲人的;欧盟的;n.欧洲人;
- register n.登记本;音域;语域;调风口;v.登记;给…注册;显示;表示;流露;引起注意;把…挂号邮寄;
- 塔罗牌 Tarot Card; Tarot
- purse n.钱包，钱袋;财力，财源;和包或钱袋相似的东西;女用小提包;vt.使皱起，噘起;
- refusal n.拒绝;优先取舍权;
- among prep. （表示牵涉）经过;（表示位置）处在…中;（表示范围）在…之内;（表示所属）为…所特有;
- black and yellow 黑色和黄色;伴奏
- HBS abbr.Harvard Business School 哈佛大学商学院;
- ww abbr.warehouse warrant 栈单;white water 白水;werkwoord (Dutch=verb) （丹麦语）动词;water white 透明的;
- baid abbr.boolean array identifier 布尔数组标识符;BIOS Aware IPL Device; 百度
